Verification theory - PDFSEARCH.IO - Document Search Engine

Verification theory
Results: 377

#	Item
341	Lem: reusable engineering of real-world semantics Dominic P. Mulligan Scott Owens Kathryn E. Gray Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2014-06-11 10:57:39 Type theory Functional languages Logic in computer science Procedural programming languages Functional programming OCaml Proof assistant Coq Formal verification Software engineering Computing Programming language theory
342	Under consideration for publication in Math. Struct. in Comp. Science Social Processes, Program Verification and All That A N D R E A A S P E R T I,1 H E R M A N G E U V E R S2 and R A J A N A T A R A J A N3 1 Add to Reading List Source URL: www.cs.unibo.it Language: English - Date: 2009-09-07 06:47:44 Formal methods Theoretical computer science Automated theorem proving Logic in computer science Proof theory Mathematical proof Formal verification Automated proof checking Proof assistant Mathematics Logic Applied mathematics
343	Vajra Logic and Mathematical Meta-models for Meta-systems Engineering Notes on the Foundations of Emergent Meta-systems Theory and Practice Kent D. Palmer, Ph.D. Box 1632, Orange, CA[removed]USA [removed] Add to Reading List Source URL: archonic.net Language: English - Date: 2014-02-16 19:40:45 Non-classical logic Philosophical logic Model theory Logic in computer science Meta-system Modal logic Interpretation First-order logic Formal verification Logic Mathematical logic Mathematics
344	PRECISE AND AUTOMATIC VERIFICATION OF CONTAINER-MANIPULATING PROGRAMS A DISSERTATION SUBMITTED TO THE DEPARTMENT OF COMPUTER SCIENCE AND THE COMMITTEE ON GRADUATE STUDIES Add to Reading List Source URL: theory.stanford.edu Language: English - Date: 2011-12-06 18:00:13 Applied mathematics Science Logic in computer science Creativity Thought Heap Algorithm Formal verification Logic Abstraction Theoretical computer science Mathematics
345	ANNUAL REPORT FOUNDATIONS OF HYBRID AND EMBEDDED SYSTEMS AND SOFTWARE NSF/ITR PROJECT – AWARD NUMBER: CCR[removed] Add to Reading List Source URL: chess.eecs.berkeley.edu Language: English Systems theory Control theory Systems engineering Automation System University of California Berkeley Claire J. Tomlin Formal verification Control system Science Systems science Cybernetics
346	Journal of Automated Reasoning manuscript No. (will be inserted by the editor) A formally verified compiler back-end Xavier Leroy Add to Reading List Source URL: gallium.inria.fr Language: English - Date: 2009-10-29 04:36:18 Compiler construction Programming language implementation Type theory Compilers Procedural programming languages Compiler Type system Formal verification Type safety Software engineering Computing Software
347	Flow Analysis for Verifying Properties of Concurrent Software Systems MATTHEW B. DWYER University of Nebraska Lincoln LORI A. CLARKE and JAMIESON M. COBLEIGH University of Massachusetts Amherst Add to Reading List Source URL: laser.cs.umass.edu Language: English - Date: 2008-09-29 10:52:38 Mathematics Formal methods Logic in computer science Models of computation Model checking Finite-state machine Formal verification Data-flow analysis Sequence Theoretical computer science Automata theory Applied mathematics
348	Automated Verification of Selected Equivalences for Security Protocols Bruno Blanchet ´ cole Normale Sup´ CNRS, E erieure, Paris Add to Reading List Source URL: prosecco.gforge.inria.fr Language: English - Date: 2012-10-01 07:25:57 Boolean algebra Propositional calculus Mathematics Theoretical computer science Model theory Π-calculus Universal quantification Process calculus Interpretation Logic Mathematical logic Semantics
349	Automated Verification of Selected Equivalences for Security Protocols Bruno Blanchet Mart´ın Abadi C´edric Fournet Add to Reading List Source URL: prosecco.gforge.inria.fr Language: English - Date: 2012-10-01 13:05:01 Model theory Theoretical computer science Group theory Parity Parity of a permutation Permutations Lp space Admissible rule Structure Mathematics Logic Algebra
350	CASM Simulator Synthesis & Model Verification of the MIPS I architecture Specification Implementation Add to Reading List Source URL: www.complang.tuwien.ac.at Language: English - Date: 2013-02-01 06:50:41 Hazard Central processing unit Instructions per second ALGOL 68 Software engineering Computing Programming language theory MIPS architecture

UPDATE